<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading globals.html info file... 
<script language="javascript">
var ag=parent.ag;
if(ag== undefined) { alert('The code is not yet loaded'); }
ag(0,'/*1*/strchr_wrapper4@0:12');
ag(1,'/*2*/__ptrof_nocheck@0:8');
ag(2,'/*3*/__trusted_cast@0:9');
ag(3,'/*4*/__trusted_cast@0:10');
ag(4,'/*5*/__mkptr_string@0:11');
ag(5,'__ccuredInit@0:1');
ag(6,'abort_deepcopy@0:2');
ag(7,'foo@0:4');
ag(8,'strchr@0:3');

</script>Done</html>
